package test
class StrongEqTest2 extends EqTester {

  override def beforeAll {
    super.beforeAll()
    agentCommand("A = a.b.A + b.a.A")
    agentCommand("B = a.B + b.B")
    agentCommand("C = a.(a.C + b.C) + b.(a.C + b.C)")
    agentCommand("C1 = C | C")
    agentCommand("C2 = C + a.0")
    agentCommand("B2 = B + a.B")
  }


  test("Non-finite graph test") {

      strongAssert("(A, B)", false)
      strongAssert("(B, C)", true)
      strongAssert("(C1, C)", true)
      strongAssert("(C2, C)", false)
      strongAssert("(B, B2)", true)
  }
}